https://www.passeidireto.com/pergunta/138814683/em-logica-matematica-dizemos-que-duas-proposicoes-sao-equivalentes-se-a-primeira